package NP;
//La classe  des proprietes ExpTime

public abstract class ExpTime extends PblDec{
	//algo de d�cision doit �tre exponentiel au plus
	public abstract boolean aUneSolution();
	

}
